$\forall$${\it ds}$, ${\it ds'}$:${\it ltg}$:Id fp$\rightarrow$ Type. ${\it ds}$ $\subseteq$ ${\it ds'}$ $\Rightarrow$ State(${\it ds'}$) $\subseteq$ State(${\it ds}$)